Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
731	Changes to JFLAP to Increase its Use in Courses ∗ Susan H. Rodger Henry Qin Jonathan Su Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2011-05-30 17:54:04 Theory of computation Computing Programming paradigms Nested stack automaton Automata theory Models of computation Finite-state machine
732	10_579088 ch07_2.qxd[removed]:57 AM Add to Reading List Source URL: media.wiley.com Language: English - Date: 2006-01-09 03:46:32 Pattern matching Formal languages Automata theory Regular expression Literal Glob Expr String JavaScript syntax Computing Computer programming Software engineering
733	´ ¨ SARK OZY’S THEOREM NEIL LYALL Add to Reading List Source URL: www.math.uga.edu Language: English - Date: 2010-10-02 12:06:08 Mathematics Automata theory Mathematical analysis Dyadic cubes Liouville number Diophantine approximation Constructible universe Transcendental numbers
734	2010 Gödel Prize Call for Nominations The Gödel Prize for outstanding papers in the area of theoretical computer science is sponsored jointly by the European Association for Theoretical Computer Science (EATCS) and the Add to Reading List Source URL: www.eatcs.org Language: English - Date: 2014-01-29 10:45:05 Gödel Prize ACM SIGACT International Colloquium on Automata Languages and Programming Mike Paterson Symposium on Theory of Computing Shafi Goldwasser Association for Computing Machinery Silvio Micali Neil Immerman Computer science Theoretical computer science Applied mathematics
735	PDF Document Add to Reading List Source URL: www.beedub.com Language: English - Date: 2000-03-28 14:45:27 Scripting languages Pattern matching Regular expressions Formal languages Automata theory Tcl AWK String Grep Computing Computer programming Software engineering
736	It’s a Small Inverse Kazuhiro Inaba ([removed]) September 10, 2010 1 Add to Reading List Source URL: www.kmonos.net Language: English - Date: 2010-09-10 02:02:40 Automata theory Tree automaton Mathematics
737	A Closed-loop Model-based Design Approach Based On Automatic Verification and Transformation Kun Zhang Jonathan Sprinkle Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2014-10-10 07:33:46 Model checkers Automata theory Digital electronics Models of computation Formal methods Finite-state machine Promela Model checking Formal verification Electronic engineering Theoretical computer science Design
738	The Complexity of Tree Transducer Output Languages Kazuhiro Inaba1 and Sebastian Maneth2,[removed]The University of Tokyo, [removed] Add to Reading List Source URL: www.kmonos.net Language: English - Date: 2009-11-17 09:02:22 Computer science Turing machine Binary tree Non-deterministic Turing machine Symbol Computation tree Finite-state machine Theoretical computer science Automata theory Models of computation
739	The Complexity of Tree Transducer Output Languages FSTTCS 2008, Bengaluru Kazuhiro Inaba Add to Reading List Source URL: www.kmonos.net Language: English - Date: 2009-06-23 09:15:01 Models of computation Finite-state machine Regular language DSPACE Finite state transducer Theoretical computer science Automata theory Formal languages
740	Multi-Return Macro Tree Transducers Kazuhiro Inaba Haruo Hosoya The University of Tokyo Add to Reading List Source URL: www.kmonos.net Language: English - Date: 2009-11-17 09:01:04 Symbol Model theory Automata theory

UPDATE